Fix a linaro compile error