Added PLATFORM parameter to config.py