small win64 build fix