Minor changes to bootstrap script.