updated bootstrap.sh for Boolector