add Bdd plug-in