Sorry for the comments above, it was my mistake. The fix reported about in comment #167 does indeed work.
Sorry for the comments above, it was my mistake. The fix reported about in comment #167 does indeed work.