Fixing ConfigFile processOptions
Commenting platform.hpp