Dear Dan, I removed the bug for it. It was 10584 but in the description of the bug it was not clear to me at the beginning what caused it. Afterwards, I started to remove the last lines of the patch on my own GIT and went on with the next setup problem.