fixing begs with kcc in adding smt=none

Sorry, I forget to turn it back. Now, it is fine.