Apparently fix texinfo5 with fresh TeXLive