Fix bootstrap script