Update Z3
Removed broken deriving package