See if installing libgmp-dev helps with Travis.