ccc rad1o badge repo install_toolchain contains the instructions to build the toolchain on debian jessie