updated debian/control