Pinto package index files have a slightly different header.
v1.111016

        - cope with a difference in the 02packages headers made by Pinto
          (thanks, Fabrice Gabolde)