In my case it was solved by installation of libgmp3-dev
libgmp3-dev
$ sudo apt-get update$ sudo apt-get install libgmp3-dev
It worked after I installed build-essential and libboost. Yes, I had something lacking on my system. :-)
build-essential
libboost