Changes given recent updates to HOL.