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