ffmpeg: used the correct "vmnc.c"