add debian z3 bin