Make setup.py work on RHEL5