Switching to debian