Made g++-4.7 default.