Update get-include-files.py