Fixes bug in texinfo for Debian builds

As per issue reported here: https://github.com/8devices/carambola2/issues/19, please apply to correct builds on Debian-like systems.