newer INSTALL file pulled in by autogen.sh