update typechecker jar again