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