Simplify the bootstrapping instructions