debian is not case sensitive