Add vinsys libsepol