Merge branch 'petterreinholdtsen-deb-bin-no-ext' into packaging_piotr