Fixup include of gmp/config.mk to use new location