Update debian files for another attempt at packaging.