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