small fix linux

4 jobs for docker in 0 seconds (queued for 78 minutes and 32 seconds)