Use one setup.py file, which should work for all systems