fixed a small bug with the x64 configuration

added the symbol _WIN64