Fix bootstrap.pl, again