deleting ssh known hosts on machine delete