lib: avoid .ml/.mli suffix for two files (confuses release script)
avoid references to ../lib in Makefile (confuses release scripts)