fix bundled-z3 not making into args #2150

Job	Run time
Resolve PR metadata	7s
build-supervisor / Resolve build plan	2s
build-gateway / Resolve build plan	3s
build-supervisor / Rust sandbox (arm64) / sandbox (arm64)	3m 27s
build-supervisor / Rust sandbox (amd64) / sandbox (amd64)	3m 26s
build-gateway / Rust gateway (arm64) / gateway (arm64)	7m 37s
build-gateway / Rust gateway (amd64) / gateway (amd64)	7m 13s
build-supervisor / Build supervisor (arm64)	1m 27s
build-supervisor / Build supervisor (amd64)	1m 24s
build-supervisor / Merge supervisor manifest	1m 6s
build-gateway / Build gateway (amd64)	1m 32s
build-gateway / Build gateway (arm64)	1m 29s
gpu-e2e	0s
GPU E2E result	-1s
build-gateway / Merge gateway manifest	1m 6s
e2e / E2E (python)	6m 49s
kubernetes-e2e / Kubernetes E2E (Rust smoke)	9m 36s
e2e / E2E (rust-podman)	14m 33s
e2e / E2E (rust-docker)	8m 0s
e2e / E2E (rust-podman-rootless)	16m 17s
kubernetes-ha-e2e	0s
Kubernetes HA E2E result	0s
Core E2E result	3s
	1h 25m 16s

Provide feedback