fix win64 compilation issue