Make it work with latest PDF.JS (bab40caf7be4fb96b104870acc20d4ac68e2cc35)