cilk version invocation bug fixed