Fix bootstrap.php