x42 update debian packaging