BTW The script works for RefHat, too. You just need to install dune-istl differently (using yum?) or check it out manually ( git clone https://gitlab.dune-project.org/core/dune-istl; cd dune-istl; git checkout releases/2.4; cd ..