fix debian/control