Another tweak to the toolchain addition