arduino-nightly/libraries/ contains the libraries found in the original install (using Git) Arduino/ contains the ESP8266 related libraries. Note, the websocket library has been modified to run asynchronously