Another sepolicy change to fix building