Made setup.py more platform-independent