let rm_rf x =
  reset_filesys_cache ();
  run["rm";"-Rf";x] x