builds solvers for 32bit Linux clients (centos 7) vagrant up vagrant ssh -c /vagrant/build.sh vagrant halt