makefile fix for debian