The text ab5cbd1c5c22, as Debian 7 (Wheezy) shipped it.
Parse command-line options
getopt(3) on Linux now
