The text d17a186be4a5, as Debian 1.2 (Rex) shipped it.
manipulate platform-dependent file paths
Tcl_GetPathType(3tcl) on Linux now
