minor changes to bootstrap script