z3: updated RPMS to version 4.3.1

Signed-off-by: Ronald Huizer <r.huizer@xs4all.nl>