change platform to debian