mplayer-gui bug fixed - can we get a new rpm?