Fix bootstrap.php filename typo