sepolicy.mk: aokp to iokp