Replace --no-platform with --with-platform

Replace --no-platform parameter with --with-platform=directory, which
allows to specify the location of the platform headers to be used
instead of downloading the default platform files from Khronos.