semanage input file