A few enhancements to the bootstrap script.