On Thu, Aug 04, 2016, Richard Levitte wrote: > I suppose this depends on what shell is being used. I've attached a /bin/ksh > fix (apply with 'patch -p1 < unix-Makefile.tmpl.patch'), would you > mind trying it out? That works (I made those changes by hand to Makefile before).