Just did a fresh checkout, and got this: > make boot make[1]: *** No rule to make target `../src/util/omake_notify.ml', needed by `omake_notify.ml'. Stop. make[1]: *** No rule to make target `../src/util/omake_notify.ml', needed by `omake_notify.ml'. Stop. make: *** [boot] Error 2 Did a file not get checked in? -e