The text e2baaada2aff, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
adds a new variable in the bdd system.
addbddvar(3) on Linux now
