klemenjak/smartsim not found