Fixes getLatestVundle in bootstrap.sh