let reset_filesys_cache () =
  Digest.reset_digest_cache ();
  reset_readdir_cache ()