Replace Sys.time by Unix.time in main.ml.