back to GCC 4.7