Re: semanage input file