correct optional configure option for selinux dsbl