Hack to make the C++11 override keyword work with old compilers.