Silence a warning in wclive.cpp