User's-Guide/Installation/Machine-specific-stuff.md

@@ -97,7 +97,8 @@ On October 2019, the code can build with the following environment (as usual wit
 ```
 module purge
 
-module load python/3.7.3
+# As usual, use oython at your own risks
+#module load python/3.7.3
 module load intel-all/19.0.5
 #module load intel-tbb/19.0.5
 module load boost/1.70.0/intel-19.0.4-mpi
@@ -111,8 +112,13 @@ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/gpfslocalsys/intel/parallel_studio_xe_2
 linux/ipp/lib/intel64_lin/threaded/
 ```
 
-Note that we need to explicitly update the **LD_LIBRARY_PATH** so that the binaries can find the `ipp` support (needed in release mode).
+Notes:
+ * We need to explicitly update the **LD_LIBRARY_PATH** so that the binaries can find the `ipp` support (needed in release mode).
 Support is working on that.
+ * Idris does not provide libs with c++11 string ABI enabled (see the [gnu team explanation](https://gcc.gnu.org/onlinedocs/libstdc++/manual/using_dual_abi.html) if you're interested in the gory details). As a result, you need to explicitly disable it. The esiest way is to set **_GLIBCXX_USE_CXX11_ABI** to 0 in the CMakeCache.txt of the build directory:
+```
+CMAKE_CXX_FLAGS:STRING=-D_GLIBCXX_USE_CXX11_ABI=0 -axCOMMON-AVX512
+``` 
 
 ## Build