Utils: reintroduce delete_file (still used)