forgotten script debian/postrm