The file /education/kard/INSTALL does not exist.