Comment 3 for bug 1038933

(1) It's an upstream file, so it would require a patch.
(2) I don't think patching hotot/causing an Ubuntu delta is necessary here - it was already fixed upstream, so we'll just wait for a new release to be packaged.