Make bootstrap.php work again