fix sireum cli problem