Compatibility with older versions of debhelper