Fix z3 on Linux