gcc44/gmp: add amd64 Makefile for gmp