Next step: Thadeu to propose the diff described in comment #53 into the archive. (If this incorrect, please flag.)
Next step: Thadeu to propose the diff described in comment #53 into the archive.
(If this incorrect, please flag.)