Don't make dosexec install dosbox