/gnu/store/1lxhll3bxnms03ym8wc4v6r2nh2ki3qa-z3-4.8.4-checkout.drv