Compilation.txt: update toolchain.