[gambit-list] running remote jobs with `time'