private function fixWindowsPath($path) { if (is_link($path) && defined('PHP_WINDOWS_VERSION_MAJOR')) { $path = readlink($path); } return $path; }