Fix for cilk plus binary