Update debian problems in response to #140