diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index f3e49142e..20a23ef8f 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -4621,11 +4621,7 @@ struct ReadPass : public Pass {
 			if (use_verific) {
 				args[0] = "verific";
 			} else {
-#if !defined(__wasm)
 				args[0] = "read_verilog_file_list";
-#else
-				cmd_error(args, 1, "Command files are not supported on this platform.\n");
-#endif
 			}
 			Pass::call(design, args);
 			return;
diff --git a/frontends/verilog/verilog_frontend.cc b/frontends/verilog/verilog_frontend.cc
index 29a739f81..2c35b42d5 100644
--- a/frontends/verilog/verilog_frontend.cc
+++ b/frontends/verilog/verilog_frontend.cc
@@ -26,9 +26,7 @@
  *
  */
 
-#if !defined(__wasm)
 #include <filesystem>
-#endif
 
 #include "verilog_frontend.h"
 #include "verilog_lexer.h"
@@ -709,8 +707,6 @@ struct VerilogDefines : public Pass {
 	}
 } VerilogDefines;
 
-#if !defined(__wasm)
-
 static void parse_file_list(const std::string &file_list_path, RTLIL::Design *design, bool relative_to_file_list_path)
 {
 	std::ifstream flist(file_list_path);
@@ -790,6 +786,4 @@ struct VerilogFileList : public Pass {
 	}
 } VerilogFilelist;
 
-#endif
-
 YOSYS_NAMESPACE_END