explicitly set the number of edx workers