Fix name of Toolchain file