The file /sdk/cervisia/debug.h does not exist.