Fix two linux compilation problem (Sessions.h and WSSession.cpp)