This script is supposed to build the GNU ARM toolchain