point to gcc 4.7