Fix check for updates
Fix .cmi files copied by findlib.ml