Some minor optimizations in the config resolution, based on patch by srb. Rev: server/base_server/roxen.pike:1.1014