Fix build error in 64-bit mode.