DIRECTORY_SEPARATOR in bootstrap.php