Compiles with g++-4.7