update_debian7_done