This has been fixed upstream. We're preparing a new release after 10 years of no updates. On Thu, Aug 22, 2019, 10:50 Jeffrey Walton