Do we need to make the devel/include dir here too for consistency?