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