setup for bdd