Atualizei o código do criamp3, pois ele não estava funcionando como deveria ;-)
Agora está …
Quem baixou a antiga versão, baixe a nova, pois a outra fazia uma bagunça extrema com o nome das músicas.
Em breve, vou ver se consigo implementar uma versão em PHP-GTK dele.