dirty hack to make devel space includes work

don't ask...