let
sys_remove x =
reset_filesys_cache_for_file x;
Sys
.remove x