/gnu/store/967b8fl3hvs4id412d2kqyf1m1x06p3b-z3-4.8.4-checkout.drv