-! As a special exception, if you link this library with other files, some
-! of which are compiled with GCC, to produce an executable, this library
-! does not by itself cause the resulting executable to be covered by the
-! GNU General Public License. This exception does not however invalidate
-! any other reasons why the executable file might be covered by the GNU
-! General Public License.
+! You should have received a copy of the GNU General Public License and
+! a copy of the GCC Runtime Library Exception along with this program;
+! see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
+! <http://www.gnu.org/licenses/>.