When recording to a micro-usb card, is the file type a .wav?