removing useless bits in the resolver state file