Indeed: I solved this minor issue with a 23 line C program that compiles to a 8766 byte binary. It's really not a big deal. (Mine doesn't pass on signals, but

Indeed: I solved this minor issue with a 23 line C program that compiles to a 8766 byte binary. It's really not a big deal. (Mine doesn't pass on signals, but that's not important for us.)