Delete jslib.cmo