K 10 svn:author V 4 stas K 8 svn:date V 27 2009-01-08T16:12:38.000000Z K 7 svn:log V 124 - OCAMLWASH is not needed. In fact, it was not really used as the proper name of variable is OCAML_WASH. Spotted by: pav END