Issue #121: more cleanup, towards a good ```make dist-deb```