Use "override" for the FilesystemOps child classes.

Also a few other minor cleanups.