Eli Zaretskii <eliz@gnu.org> writes: >> I don't know. I built DJGPP port some time ago (last year maybe?), but >> I didn't see this problem before either. > > OK, I guess we go for it, then. Patch is pushed in. -- Yao (齐尧)