- "domtool" => "/afs/hcoop.net/common/etc/domtool/domtool"
- | _ => "/afs/hcoop.net/usr/" ^ user ^ "/domtool"
+ "domtool" => "/afs/hcoop.net/common/etc/domtool/.domtool"
+ | _ => OS.Path.joinDirFile {dir = Posix.SysDB.Passwd.home (Posix.SysDB.getpwnam user),
+ file = ".domtool"}