Fix compilation error for x64 platform