checkpolicy/.gitignore