fix makefile for 64-bit machine