have you tried quicktime, it might allow you to export a sound file to .wav file.
Garage band may do it as well.
The only problem with creating .wav files
ex in my machine i have to create a .wav file in the following format as follows, which isn’t a standard .wav file format
“If you want to import audio into this unit that is of a different format, you must convert it to a 16-bit, 44.1-kHz mono/stereo WAV file”
some machine read different .wav converted files. (so check your manual as to the type of .wav files it can read.