Install the *.cmi files as well.