The file /education/marble/tools/check-installed-headers does not exist.