Issue #121: avoid debhelper error