Я бы посоветовал задать подобный вопрос вот здесь, на форуме команды Z3X, непосредственно разработчикам