Use github to host z3 static.