Update Makefile.debian