fix CI build issue, remove htmlproof