Added sensible destructor for SafeFileSystem