Restore ciBDD.sh