fix icfp to icfpc