This could also be solved by resizing the window to the correct aspect ratio. Maybe that would be cleaner and quicker than patching mplayer.