Issue #32: fix bug in tode/client/scripts/installServerNewTode2