По какой-то причине это должен быть mplayer? Так как я думаю, что будет проще найти хороший скин для VLC (более широко поддерживаемый).
HowToGeek написал хороший учебник о том, как это сделать, однако его пример - Windows Media Player 11
Возможно, вам стоит проверить его ссылку на официальную страницу скинов VLC .
Или вы можете просто установить Windows Media Player 9 под Linux с Wine.