"stp/simplifier" did not exist on "a27cd5f964ca6c38499e99fcad81f0813597b152"