Deps: apt-get install libtools apt-get install flex apt-get install libmpc-dev libisl-dev libmpfr-dev libgmp-dev