/gnu/store/hpb40z04sax48wqzl7d2s8cdshy7g4x3-sed-4.8.drv