Fix up bootstrap script