mxtshell: time stamp format change