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