update linux z3 binaries