Fixing some issues with libstdc build of websocketpp