proofgeneral: fix build with earlier version of texinfo.