Make setup.py work on Linux.