clang++ replaced by gcc, no crashes anymore (??)