Fix building with Linaro GCC toolchain