Fix tot_pri counting in config.c, now that Disabled directives actually work.