How to speed up refresh for remote X11 displays via ssh