preprocess video.c too.
fix one 64-bit segfault.