remove unneeded gmp patches now that paths are relative
Merge branch 'master' of https://github.com/diorcety/crosstool-ng