bootstrap.pl: temporary fix update