--- a/src/Pure/build Wed Dec 23 21:15:26 2015 +0100
+++ b/src/Pure/build Wed Dec 23 23:09:13 2015 +0100
@@ -49,8 +49,8 @@
[ -z "$ML_SYSTEM" ] && fail "Missing ML_SYSTEM settings!"
COMPAT=""
-[ -f "ML-Systems/${ML_SYSTEM_BASE}.ML" ] && COMPAT="ML-Systems/${ML_SYSTEM_BASE}.ML"
-[ -f "ML-Systems/${ML_SYSTEM}.ML" ] && COMPAT="ML-Systems/${ML_SYSTEM}.ML"
+[ -f "RAW/${ML_SYSTEM_BASE}.ML" ] && COMPAT="RAW/${ML_SYSTEM_BASE}.ML"
+[ -f "RAW/${ML_SYSTEM}.ML" ] && COMPAT="RAW/${ML_SYSTEM}.ML"
[ -z "$COMPAT" ] && fail "Missing compatibility file for ML system \"$ML_SYSTEM\"!"