Fix the build; --check-proof works for UF but not for the new UFC logic.