fixed execution
Merge branch 'mike-ce-stringlib' of github.com:zhangce/kbp into mike-ce-stringlib