slight makefile modification
DECAFS-30: makefile and implementation stubs