rename file name, from demo.ml to main.ml