re-add option HEADERCHECK as headercheck adds many targets (>1000) which causes performance problems at least in CodeBlocks