#!/bin/bash -ex
set -eu -o pipefail

apt-get -y install libgmp3-dev libgmp-dev libz-dev