diff -Naur simias_orig/src/server/Simias.config.in simias/src/server/Simias.config.in
--- simias_orig/src/server/Simias.config.in 2007-10-16 16:19:39.000000000 +0200
+++ simias/src/server/Simias.config.in 2007-10-30 01:10:50.068278089 +0100
@@ -6,7 +6,9 @@