Modify dosshell.ini if wanted.