make number of workers settable in command line