Had an idea. If you don't mind loosing minimal quality, we could have mp3's in the installation package and I could make a script unpacking these to .wav files. This way it won't be a 700 mb file to download, but the music files rather 1/11 of the original size.