our man page still talked about the dirservers file