As I've posted in the bugtracker: I was able to build a working release from github. But after updating an existing site with that release, the problem persisted. But in my case it's a minor problem, so spending more time on finding a solution is a waste of time. I'll wait for the next maintenance release, where the bug will be fixed.