fix build with Linaro GCC 4.8