* lang_cpp/parsing/ast_cpp.ml: simplify inc_file
* lang_cpp/parsing/parsing_hacks.ml: put back passing of __attribute__