Bugs fixed in Cilk stuff