setup.py: fix platform and operating system