debian/tmp/usr/bin/z3