g++-4.7 fix