fix debian control file