Fix filename for poppler, now ends in xz.