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