The text c4f15eb7fd43, as Debian 7 (Wheezy) shipped it.
Rename or delete a command
rename(3tcl) on Linux now
