update bootstrapProofScript.sml for chars