Fix Makefile.linux64