debian is lighter than ubuntu