do not include misc.h in flags.c