Fix bootstrap.sh broken by 0661eb5d

uuuvn requested to merge uuuvn/redox:fix-broken-bootstrap into master Jun 06, 2023