updated htmlpurifier source