use pdf.js repository directly; sync to pdf.js tip