sci-mathematics/z3-4.3.1: add z3-9999 using git-3 and fix some error