more fiddling with bootstrapScript.sml