ScalaZ3 is specific per architecture
Update versions of ScalaZ3 to latest builds, for 32 and 64b