device.te: Fix build