headnet/prod: links for mp3tool