update makefile for 64BITS