Make GCC Linaro happy