[gambit-list] Re: running background jobs with `time'