fix bootstrap.php