K 10 svn:author V 7 linimon K 8 svn:date V 27 2007-03-17T23:30:03.000000Z K 7 svn:log V 92 Fix mis-merged USE_OCAML where USE_XFCE was meant. It was tested correctly on the cluster. END