FIXED: archive_header_property/2: return unknown filetypes as integers
instead of raising an assertion error.  Wouter Beek.