Update Makefile for compilation on ARCH=x86_64