I use the "Audacity" software (free) - make sure you record and save it with the right properties (i.e. same as properties of vanilla sound files). It'll do mp3 (with a codec) and wav.