Don't use "override" keyword

It's valid C++11, but we want to be compatible with older C++
compilers too.