Add configure flags for the location of GMP includes/library; fixes #4022