Another 64bit fix - vertical_pixel_flip needs to be of type s32