Fixed gcc compilation errors for .texi files