DJGPP headers and libraries
