Rename kif to compile.