The utilities to convert between WAV and "gramophone record" formats