Revise Makefile; add missing file