Patch attachments

There are no patches associated with gmp-gcc4 in Ubuntu at this time.