rename *.ml to *.sml