Delete time_converter.ml