Don’t use “override” with GCC older than 4.7