configure: Abort when GMP is not found.