Hi Ludovic, > [Things] eventually fail because stdenv, and sometimes build systems, > assume that /bin/sh is Bash. maybe that is a bad assumption? Wouldn't it be nice if our stdenv worked with any POSIX shell, not just Bash? Take care, Peter