cilkscreen doesn't like recent kernels

Cilkscreen doesn't work on Fedora 22.  I suspect that the Pin tool doesn't like the 4.2 kernel.

$ ~/cilkscreen/cilktools-linux-004225/bin/cilkscreen -- /usr/bin/cat
E:4.2 is not a supported linux release
$ uname -a
Linux ... 4.2.3-200.fc22.x86_64 #1 SMP Thu Oct 8 03:23:55 UTC 2015 x86_64 x86_64 x86_64 GNU/Linux