sync to noVNC upstream 2014.02.06