Don't include gmp header in islpy--no longer needed