Remove override keyword; go back to g++-4.6, 4.7 is too painful.