GCC back to 4.7