On 2/20/2016 20:07, Tim Prince wrote:
> 
> libcilkrts was not installed automatically with the gcc upgrade, but
> even after I selected it in the setup-x86_64 menu, it is still missing.
> 

Try installing gcc-cilkplus, it should be in there.