armani: already defined at external/sepolicy