I've been wondering this as well, and finally resorted to downloading the mp4 from youtube using jdownloader.