Pulled the platform and moved z3 backend settings