Fix gh-issue #2: comparison of obsolete pointers in the header parser