no need to use ``DIRECTORY_SEPARATOR``. As of PHP 5.3, using ``/`` to reference a file works on Windows too and it is more readable