Removing some obsolete conditional code,
which was necessary for some obsolete version
of PDF.js.

Fortunately, by now, all supported versions
of PDF.js uses the same data format, so this
workaround can go.