support for texinfo > 5.0