Fix #7.2: c++11 now supported, override specifier has been added