We are trying to keep these files relatively small. Use resources/encode-sound.sh to encode a file in the same way (use --stereo if stereo is needed).