The text 374affde7d7c, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
resets the BDDs system
resetBdd(3) on Linux now
