Fix rabin2 -Z . Implement it for DEX too.