fix cilk spawn