bug#13435: Please don't kill DJGPP support...

[DJ Delorie]

I won't hold you up.  Since none of my folks thought it important
enough to take the time to test it, please just back-burner it.  If
someone here needs the patch, they know where to find it.

Thanks!