Small changes to naive Cilk server