looking at the ungodly (1.2GB) memory usage going on when building openturns, I take it likely that cc1plus is being killedby the OOM killer. -- "rm -rf" only sounds scary if you don't have backups