なんか7.1にしたらgnome重くなった。