cmake bug with 64-bit?