add a debugging statement for the header being parsed to figure out
issue on Windows