Rename ter_data.ml to ter_box_data.ml