Fix build with linaro's gcc 4.7