mp3x: a lightweight MP3 scanner