unlink $file or fatal_error("Couldn't delete $file: $!);