make debian packaging work