/gnu/store/j380vh6nldpll2kd23xbn1b38k0vnpga-selinux-20170804-checkout.drv