Hello,I just found that the problem I reported has already been solved (sincea few months) in the GIT version.
Do you have any idea about when the next official build will be published?
Thank you,Giuseppe Sacco