Don't go beyond debhelper 8 yet...