Fix issues with gcc and textinfo