Patch against 3.1.2 Makefile.linux to allow building on AMD64/x86_64