Fix the last(?) of the Win64 compilation problems.