Fixing an issue for case-sensitive file systems in bootstrap.php