The text d7a7d2c014db, as Debian 7 (Wheezy) shipped it.
specify default values for libipmiconsole
libipmiconsole.conf(5) on Linux now
