/gnu/store/k3y08yvr1ckl0p9hkkwkrwlpj1b80vr7-tcc-boot-0.9.27.drv