fix debian/control
