Added a comment: turns out to be an upstream bug already filed