use 64bit cmake generator