Fix compiling for Linaro GCC 4.8.2