Thanks for the info. Strangely enough, I happened to fix that
a month ago, but the fix was deleted by some other change
that was made.
I'll re-do that and make new gcc32 binaries for you to try use.
But then I'll skip town like the rest of this group, so responses
may be slow for a while.