For now bring cilk up and down each time, this seems to avoid issue #4