Well, I hope that's good news. I was trying -Os and -O2 rather than -O1. I'm also concerned that my build may have been tangled up over the makeinfo issues. Thanks for the report. I hope it ran OK.