destroybddassoc(3) on Linux

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

frees all the variable associations.

destroybddassoc(3) on Linux now