Merge branch 'debian' into hcoop_489_stretch