path of SpaceDecl.h in makefile