Add echo_file_modification_time