Fix bootstrapping script