Re: [PATCH] Tell dosbox to read the current user's config