Now it compiles GCC with texinfo 5.