Update makefile for debian packaging.