Further simplify bootstrap script.