Add cilk-5.4.6-3