Fixed Makefile issue, lacked -lgmpx. Now builds on koding.com