fix tinyxlib/tinyxserver