Fix checkpolicy build; no idea how to test it