diff --git a/clingo/scripts/install_clingo.py b/clingo/scripts/install_clingo.py
index 9c306cc..d507be0 100644
--- a/clingo/scripts/install_clingo.py
+++ b/clingo/scripts/install_clingo.py
@@ -6,10 +6,14 @@
 import spack.main
 
 
-CLINGO_BASE_SPEC = "clingo-bootstrap@spack +optimized ~docs"
-
+if sys.platform == "linux":
+    CLINGO_BASE_SPEC = "clingo-bootstrap@spack +static_libstdcpp +optimized +ipo ~docs"
+else:
+    CLINGO_BASE_SPEC = "clingo-bootstrap@spack +optimized +ipo ~docs"
 
 install = spack.main.SpackCommand('install')
+
+
 with spack.bootstrap.config.spack_python_interpreter():
     msg = 'Installing clingo-bootstrap with Python: {0}'
     print(msg.format(spack.bootstrap.config.spec_for_current_python()))