STYLE: use check_include_files() instead of a mix of check_include_file() and check_include_files() Alex