Use g++-4.7.