cleaned up the platform support in configure.py and platform.py