try to get setup.py to not use gcc-4.2