patch to fix build on Ubuntu 14.04
workaround for openssl failing to install docs on some Ubuntu systems
gmp: build with pic
Finished release v2.7.6.7.

* release/v2.7.6.7:
  gmp: build with pic
  workaround for openssl failing to install docs on some Ubuntu systems
  patch to fix build on Ubuntu 14.04