gcc 4.7 is the default