Tools for converting files to mp3 format