bugfix; missed renaming
code layout; typo
set default BDD library to get rid of warning during typechef run
code layout
remove erroneous CONFIG_ prefix from single-conf generation; redundant prefix caused failing sampling-set generation