Updated Z3_Haskell pointer