The old CMake version built libraries like libc++.a and libc++abi.a in a
non-reproducible way. Using the latest CMake version solves that.

We need to use our own GCC for Linux as the shippped one is too old.