INSTALL script downloads PropGCC and CMake
Merge remote-tracking branch 'origin/release-2.0-nightly' into release-2.0-nightly