Shouldn't have to do this -- setting CILK_NWORKERS