Packaging for checkpolicy