sync to noVNC upstream 2013.08.01