fixed time stamp in default file name of an event recording