update to latest version of websockets library under the assumption that things work better