RF: better format for time in microphone .wav file names