Switch to g++-4.7
Switch to g++-4.7