Could you send an email to support@eventide.com about this issue?  With these kind of problems, we want to make sure that a support ticket is created so we can track the problem and make sure it's resolved.