Fix a bug
Add batch script to run themis