This now again builds with clang, so we don't require GCC to build any more. (There was a latent non-determinism in GCC that lead to different compilations.)