Debugged sm-util workflow fixes #57