replaced --no-platform  with --with-platform that allows to specify the location of the platform headers to be used instead