moved bibdk_usersettings for easier debugging