The file /education/cantor/src/backends/sage/sagehighlighter.h does not exist.