ScalaZ3 is specific per architecture