GCC/Linaro build fix