jerky green video output with mplayer and xv

After an upgrade to Ubuntu Jaunty, my mplayer video output (using -vo xv) was completely green and jerky. It turned out that during the upgrade apparently the proprietary nvidia driver was disabled. You simply need to reenable it at System -> Administration -> Hardware Drivers and reboot to fix the problem.