Okay, today the build succeeded without a problem. I guess the error is fixed.