patch.sh: show warning if file that should be deleted already does not exist anymore