beh_makbdd(3) on Linux

The text d2440bb5f8f2, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

create a BDD for each expression in a description

beh_makbdd(3) on Linux now