php classnames are case insensitive, so the autoloader should be too