fixed DJGPP build, broken due to the PCI commit earlier today