use debian x64 z3 binary because it has an older glibc

@bmmoore please review