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