Use the OASIS alpha feature: compiled_setup_ml
Update against oasis dev (fix a bug in configure)
Merge remote-tracking branch 'origin/oasis.0.4.4' into HEAD
Use the OASIS alpha feature: compiled_setup_ml