$path = $path_to_root.'/'.$ext['path'];
$file = $path.$rep;
if (file_exists($file)) {
set_include_path($path.PATH_SEPARATOR.get_include_path());
$path = $path_to_root.'/'.$ext['path'];
$file = $path.$rep;
if (file_exists($file)) {
set_include_path($path.PATH_SEPARATOR.get_include_path());