Fix texinfo compilation errors