On Tue, Aug 28, 2018 at 8:33 PM, Richard W.M. Jones <rjones at redhat.com> wrote: > > OK I see. How about the attached patch? OS is debian unstable. /bin/sh is a symlink to dash. Yes, this fixes the problem. Thanks.