Hmmm. I guess I could do that, but I was hoping to actually fix the problem directly, rather than applying a long-term bandaid.

However, if that's the proper substitution, I suppose I can just slap something together with awks...I'll just have to be very careful.

I was just wondering if someone hadn't done this already.