fix build of seinux