oops, forgot to rename pdf_dump -> extraction in the requires