Sorry for the late reply…
… no the config.core.php contains only the two defines you mentioned. I did set the new path there.
The only difference I see at the moment is that the start page is not just our domain name but “index.php” is added and visible in the url - that was not the case before.