llvm remove the .bak from the Z3 patch so it can be found

llvm remove the .bak from the Z3 patch so it can be found #718