sync to noVNC upstream 2013.09.17