/gnu/store/32rsbb0hvj3vmwq833kq7lx55wdx9fmx-make-boot0-4.2.1.drv