/gnu/store/jkidkpifn3235dw6ymvh09v0kgxb3hdf-sed-mesboot0-1.18.drv