Fixed up some out of date pdf.js definitiions