gcc: fix libcilkrts-devel again; there's no info file.