no need to do sed with profile.bashrc
minimal toolchain bootstrap solution