fix up sepolicy.mk