// see dirs.js