The text 944bef18ffb8, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
removes the BDDs system
destroyBdd(3) on Linux now
