Fix compilation of .texi