Reverted BigStringPool to DJB hash - change was accidental