Fix up Dockerfile so we can build PDF docs