let
delete_file f =
try
Unix
.unlink f
with
_
->
()