Fix Linaro gcc 4.7.3