Back to GCC 4.7