SAT now builds Linaro GCC and libopenstm32 by default.