change to debian OS