I installed cryptominisat using the following command (given at ):sudo apt-get install build-essential