Update debian packaging to 0.8.3