remove duplicate from bootstrap.ml