Fix the Makeinfo file so that the UNIX build scripts work right