DJGPP headers and libraries.
