Cmake: switch to 64 bit build