make include_file faster in the preprocessor