Pavel N. Krivitsky Fri, 08 Jun 2018 20:09:59 -0700
Dear Maintainer, My apologies, there is no patch. I made a mistake on reportbug.
Best, Pavel