@wachterjohannes Doesn't look like that, there is a specific commit removing these lines: 435385f92f2ecb1c548bc0d104eef1136d391ba4
I'll fix that for you.