debian: Close #672711