sepolicy: add correct extension