K 10 svn:author V 7 thierry K 8 svn:date V 27 2009-01-21T10:33:10.000000Z K 7 svn:log V 61 Remove duplicate flags in CONFIGURE_ENV. Spotted by: gerald END