On Thu, Dec 20, 2018 at 03:23:46AM -0600, Jacob Bachmeyer wrote:

> It works here... looks like a portability problem... what shell is your
> /bin/sh?

dash.

Thanks,
Ben