fix debian/control file