DJGPP headers and libraries.