get rid of .cmt in install-findlib, they may not be there!