checkin.py: support old configs without num_threads option set