/gnu/store/25fr8j5wpsy7qxdqd18cmwq6yzxpfqqn-make-boot0-4.2.1.drv