Add gcc 4.7