On Debian, .cmi files might be missing, while META files are installed.
This confuses ocamlfind in believing development files are available.
So, we now systematically check that there is at least a .cmi file.
This also helps when ocamlfind is not present.