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