Changed find_dir() somewhat to make it more efficient. Rev: server/base_server/configuration.pike:1.104