nobinary: fix minor bug in bootstrap0.sh