make number of workers configurable