In effect I believed I was using the development branch, but it wasn’t so. I’m quite new in the git world.
Now that I’m using the real development branch I don’t get any more that exception.
Jjagg, thank you very much for your support and sorry for the time you spent on this non-issue.
I get another exception later during game loading, but if necessary I’ll open a new topic for that.