/gnu/store/828yrhdf89g15vn2sss945vjd7n457a1-tcc-boot-0.9.27.drv