Fix z3 RPC error with new url