In case of need, I published a patch for this issue that was reported by another user. See Bug #780.