restore correct version of ciBDD.sh