Tcl_TranslateFileName(3tcl) on Linux

The text 67dbf38e05cf, as Debian 8 (Jessie) shipped it.

convert file name to native form and replace tilde with home directory