[PING] gmp and gmake fixes

Hi David,

The gmp build issue and gmake installation issue are still present.

These issues need to be resolved (and changelog timestamps updated)
before the packages can be uploaded to the package archive.

I'll apply these patches in the Git repositories, unless you want to fix
the issues:

  http://lists.proteanos.com/proteanos-dev/2013/06/msg00002.html
  http://lists.proteanos.com/proteanos-dev/2013/07/msg00001.html

Thanks,
-- 
Patrick "P. J." McDermott
http://www.pehjota.net/
http://www.pehjota.net/contact.html