debian: debian/compat 9 -> 7