VirtualDub: How to use mkv, mp4, flv, mov and other file formats with VirtualDub