On Jul 3, 2015 1:34 PM, "poma" <pomidorabelisima at gmail.com> wrote: > It works OK as whole, for the current git: Excellent! This problem is solved. Now to commit a patch. --Gene