Update bootstrap.dist.php