Fix platform dependent issues w.r.t. z3

Fix #7
.gitignore