Restore compatibility with 4.01.0

* Some fixes
* Restore compatibility with 4.01: src/ollvm/ollvm.mli is generated by ./configure