RecordTimer.py: remove debug output