The text d1f1808b2e3c, as Debian 8 (Jessie) shipped it.
get a line from a user with editing
readline(3readline) on Linux now
