private function normalizeName(string $name) : string { return preg_replace('#/{2,}#', '/', str_replace('\\', '/', $name)); }