I am using gnome desktop 2 with compiz. every now and again the window borders disappear… is this normal?