Actually re-generate pdf.js and switch to the new API.