I can confirm that recreating the config.php based on the default config.php fixes this issue.
great news
