* engine.ml: unmark
* Makefile.common: bin.annot