Tweak print/texinfo version 5.2.20140427