texinfo-6.7.local.patch