Fixes bug in texinfo for Debian builds