coral: correct include dir