Mihai, Mojca: If you comment out the call to run_recode(), does it solve your problem? (Please don't educate me about how this doesn't deal with the "real" issue. :)
It still seems to me that getting a better sed on your system would help many more people than just worrying about a Texinfo-specific script. karl
