Fix another case-sensitive issue with App/bootstrap.php