Revisions for <em>HOWTO Use the GCC specs file</em>