add libgmp-dev libmpfr-dev libmpc-dev in setuptdt.sh
gcc 4.8.2