Minor updates to the bootstrap script library.