add checks for platform in configure.py