RecordTimer.py: fix double name in recording filenames. refs #345