Fix up bootstrap.sh to work on Windows.