Update bootstrap.pl