Workaround for broken CMAKE_CL_64 setting