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