point to the updated version included in the checker framework