fix for Windows 64