Reverting GCC to 4.7