add debian to platforms