Track down mplayer resize issue.

... turns out to be a division by zero. If I think about it, I even
think this generally makes floating applications crash.

mplayer still refuses to enter fullscreen mode.