sync to noVNC upstream 2013.08.23