The text c3352d4dadac, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
does a garbage collection
gcNodeBdd(3) on Linux now
