Symbola: update hash for PDF file