More niceties in the bootstrap script.