move debian/ into extra/