update icfp