Make the 4.8 Linaro toolchain work