Edit: disastrous typos in my last comment! the command name should, of course, be:
./bug218916-reproducer.bash
Edit: disastrous typos in my last comment! the command name should, of course, be:
./bug218916-reproducer.bash