Fix building with Linaro