Use libgmp-dev
pyenv doesn't have python 2.7.7 yet