Change profile-build options to produce 1% to 2% faster executables.
-rw-r--r-- 934 AUTHORS
-rw-r--r-- 35821 Copying.txt
-rw-r--r-- 4925 Readme.md
drwxr-xr-x - src