Removed “override” identifier to keep gcc 4.6 happy, we’ll put that back in when travis-ci.org upgrades to gcc 4.8