Makefile for 64 bits linux tested