Hack to make AVIReader/AVIWriter 64-bit compatible