Compatibility patches for Linaro gcc 4.7