About FreeSRP issue FOR TCL build error

hiii,
I am analyzing FPGA part of FreeSRP , as mentioned
First, compile the software that will run on the MicroBlaze using command -

   **xsdk -batch -source build_sdk.tcl**

but when I am trying to use this it gives error as -

       **invalid command name "setws"**

in my vivado 2016.3 webpack version


can you please help me out.
why this error coming , I have attached the JPG file of this.