Fix an issue with arch-freedos. Still broken.