Fix for build with Linaro toolchain