Re: execve -1 errno 12 Cannot allocate memory

[Theo Buehler]

> Unfortunately, the binary is stripped so there are no symbols for the 
> .openbsd.randomdata segment so we can't confirm the cause.

Sorry about that. A non-stripped binary should be available under

cvs:~tb/lean/lean-nonstripped