Remove some websocketpp leftovers. See #1.