updated library files for z3 unix #20

Closed yannicnoller closed 5 years ago