fix bootstrap.php again