modifies bootstrap.php