switch default to gcc 4.7