tools/reduce: better handling of #include