Add some debian stuff