Change back to 4.7 gcc