private function class2Filename($class_name, $php_suffix = '.php')
    {
        return DIRECTORY_SEPARATOR
             . str_replace('\\', DIRECTORY_SEPARATOR, $class_name)
             . ($php_suffix === false ? '' : $php_suffix);
    }