diff --git a/web/webid-finder-ws/form.php b/web/webid-finder-ws/form.php
index 28e58ff7e4975acc70f5d76b37308abbf41eb014..b4d0ca1ba3c53ba4c60baa1f99bcefc9efb3217c 100644
--- a/web/webid-finder-ws/form.php
+++ b/web/webid-finder-ws/form.php
@@ -69,7 +69,6 @@ input.wide
 <?php
 	if ($_REQUEST['submit'])
 	{
-		ini_set('include_path', '.:/usr/lib64/php/:' . ini_get('include_path'));
 		require_once 'guts.php';
 		
 		switch ($_REQUEST['source'])
diff --git a/web/webid-finder-ws/guts.php b/web/webid-finder-ws/guts.php
index 9a1029e67ab904bf253745d5019449009c8a835a..2faa020e080580273b3f2d53e0322ed7956ddb22 100644
--- a/web/webid-finder-ws/guts.php
+++ b/web/webid-finder-ws/guts.php
@@ -1,6 +1,6 @@
 <?php
 
-require 'arc/ARC2.php';
+require '../arc/ARC2.php';
 
 if ( !function_exists('json_decode') )
 {