diff -r 50cbed80af1a -r 425def26d5f1 configure/CONFIG_SITE
--- a/configure/CONFIG_SITE	Wed Jun 05 14:34:28 2013 +0200
+++ b/configure/CONFIG_SITE	Mon Jun 10 13:56:06 2013 +0200
@@ -24,7 +24,7 @@
 # To install files into a location other than $(TOP) define
 #   INSTALL_LOCATION here.
 #INSTALL_LOCATION=</path/name/to/install/top>
-INSTALL_LOCATION=/srv/ioc/sys/infrastructure
+INSTALL_LOCATION=/srv/ioc/sys
 
 # Set this when your IOC and the host use different paths
 #   to access the application. This will be needed to boot