Correct filename, case-sensitive OS's
Support for PHP 5.3