use 64 bit machine