Compatibility with older versions of debhelper
Merge branch 'dev'