g++-4.7 support