Fix error with Linaro GCC