correct 64-bit build