Do not install mCRL2 in install_prerequisites.sh.