rm -rf build
mkdir build
cd build
#cmake .. -DWITHOUT_GMP=1

cmake ..
