fixes related to 64bit MS Windows build