No need to compile libgmp

Tested on fresh install of Ubuntu 14.04