distriman: removing from the list machines that have been gone