mask texinfo >= 5.0 hack for dev-scheme/guile