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