switch to debian