Small 'bootstrap.sh' fix.