makefile for davester