The text ef6cfe702250, as Debian 10 (Buster) shipped it.
manipulate platform-dependent file paths
Tcl_GetPathType(3tcl) on Linux now
