gcc-gfdl-build.patch
make-gcc-build-with-isl-ge-0.20.patch
provide-stdint-for-embedded.patch
