But we don't want to put the whole repo in the include path