Switch to debian