Hi, the build is currently, ie 154122, broken in libstdc++-v3: ...../src/system_error.cc:95:1: internal compiler error: Segmentation fault Version 154120 works fine for me. Paolo.