The file /education/kig/objects/intersection_types.cc does not exist.