Fix setup.py for islpy leftovers.