Create a default user config file if no user config file exists.
This is for now useful for crash problems (e.g. to disable shaders).