export movies as MPEG4: mencoder's MJPEG is broken