sync to noVNC upstream on 2014.05.14