Não tenho certeza se é específico do sistema operacional, mas eu desinstalei o Ubuntu e instalei o CentOS e segui instruções semelhantes para configurar o cliente VNC - então tudo funcionou. Infelizmente, nenhuma solução definitiva para o problema original.