debian packaging & other fixes