Log Message:
Synchronize platforms which support optimization with the "ocaml" package.
This should fix the "configure" problems in the \ 
"mldonkey-gui" package.