no error if we try to delete a file which no longer exists