Update versions of ScalaZ3 to latest builds, for 32 and 64b