On Wed, 22 Apr 2015, Adhemerval Zanella wrote: > > Which shell is /bin/sh? Can you try bash? > > Indeed it seems a limitation of default /bin/sh for Ubuntu (dash). See bug 16704, and the patch <https://sourceware.org/ml/libc-alpha/2015-02/msg00396.html> which needs review. -- Joseph S. Myers joseph@codesourcery.com