Update bootstrap.php.dist