diff --git a/Makefile b/Makefile
index 25dea3725..6e302cd3c 100644
--- a/Makefile
+++ b/Makefile
@@ -743,6 +743,7 @@ include $(YOSYS_SRC)/passes/equiv/Makefile.inc
 include $(YOSYS_SRC)/passes/cmds/Makefile.inc
 include $(YOSYS_SRC)/passes/silimate/Makefile.inc
 
+OBJS += passes/sat/recover_names.o
 OBJS += passes/sat/sim.o
 OBJS += passes/techmap/extract.o
 OBJS += passes/techmap/extract_reduce.o
diff --git a/passes/silimate/longloop_select.cc b/passes/silimate/longloop_select.cc
index 8e7ff372f..f0af6e6a7 100644
--- a/passes/silimate/longloop_select.cc
+++ b/passes/silimate/longloop_select.cc
@@ -234,13 +234,13 @@ struct LongLoopSelect : public ScriptPass {
 						}
 					}
 					if (!abc_script.empty()) {
-						std::string command = "abc -map_src " + src_info + " -script " + abc_script;
+						std::string command = "recover_names abc -map_src " + src_info + " -script " + abc_script;
 						log("  Executing: %s\n", command.c_str());
 						log_flush();
 						Pass::call(design, command);
 					} else if (!abc_options.empty()) {
 						abc_options.erase(std::remove(abc_options.begin(), abc_options.end(), '"'), abc_options.end());
-						std::string command = "abc -map_src " + src_info + " " + abc_options;
+						std::string command = "recover_names abc -map_src " + src_info + " " + abc_options;
 						log("  Executing: %s\n", command.c_str());
 						log_flush();
 						Pass::call(design, command);