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