Fix a warning for win64