Added irfc; removed JDEE and gambit-c.