Fix distclean target to make debhelper happy