/gnu/store/jz2hx47xc6h5xx70kp24d2b4h2ys83gz-z3-4.8.4-checkout.drv