fix path of SpaceDecl.h in Makefile