(Better late than never...) I've committed the MP3-ness patch. Also, I've fixed the crash on "playsound ./bootstrap", etc. It's in CVS. --ryan.