remove the apt-get install of libgmp-dev to see if it breaks (should be caught by installext)