You might be able to workaround the problem by using a different output module. Try "mplayer -vo xv video.avi" in a terminal. Or you can add "vo=xv" to the config file.