refresh INSTALL.txt

Don't refer to the source code of GCC, which comes packaged in most
cases today. Delist .h files that don't exist.