Add Mac Ports-specific include directory for <gmp.h>