RecordTimer.py: cleanup imports