update to gcc 4.7 for new C++11 features