fix an error in g++-4.7