Fix sepol file