taken from the parts of BSDI's 'config' which are freely-distributable (under the LBL/UC Regents license), and adjusted to fit into our version.