Okay, we found something that seems strange here, @cfbolz and I are debugging this