Clang-related fixes
Fix clang++-3.6 warnings, mostly about missing 'override' (originally reported by Gabriele). Also some 'unused variable' warnings.
Fix clang++-3.6 warnings, mostly about missing 'override' (originally reported by Gabriele). Also some 'unused variable' warnings.