Delete jslib.cmi