K 10 svn:author V 6 oliver K 8 svn:date V 27 2005-11-11T17:20:02.000000Z K 7 svn:log V 44 remove one unneeded CONFIGURE_ENV parameter END