debian.mk: cosmetic changes