debhelper 7.0.17 released with these changes