Make the file system synchronization available on the command line (see #6815)