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