/gnu/store/nipczpkb3z534y0jr1g4897j78h3fgc8-z3-4.8.9-checkout.drv