Update debian packaging following README extension change