fix compile error in tode/server/scripts/installTode.ws