Makeinfo 4.0c hassles with man/xemacs/programs.texi