[PATCH] Unbreak DJGPP port of GDB

[Joel Brobecker]

> > Creating a PR: 5 mins. Updating the Wiki; just copy/paste the PR
> > number and the PR subject: 2 mins.
> 
> Not for me: I don't even have a login in at least one of these places,
> and the last time I tried to make a PR it took me an inordinate amount
> of time.

I've had a few days to think about this, and here is what I propose:
We both give; you spend the time to create a GDB wiki account and
send me your wiki login so I can add you to the list of authorized
contributors (allowing you to edit). In exchange, I create the PR
for you and update the wiki this time.

-- 
Joel