디폴트는 리눅스인데 우분투를 더 많이쓴다는데 사실임?