fix bootstrapProofScript.sml