fix the "deb" distribution Makefile so "make clean" always works