Update Makefile.debian

Fix compilation problem