diff --git a/.gitignore b/.gitignore
index 4e8c265d5a..924ccceee7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -229,7 +229,6 @@ fiat-html/wasm_fiat_crypto.js
 fiat-html/wasm_fiat_crypto.wat
 fiat-html/wasm_fiat_crypto.wat.gz
 fiat-html/wasm_fiat_crypto.wasm
-fiat-html/wasm_fiat_crypto.wasm.map
 fiat-html/version.js
 /Makefile.test-amd64-files.mk
 
diff --git a/Makefile.config b/Makefile.config
index c3602b461c..7546bc3308 100644
--- a/Makefile.config
+++ b/Makefile.config
@@ -83,7 +83,7 @@ UNIFIED_HASKELL_BINARIES := $(UNIFIED_BASE_STANDALONE:%=src/ExtractionHaskell/%)
 SEPARATE_HASKELL_BINARIES := $(SEPARATE_BASE_STANDALONE:%=src/ExtractionHaskell/%)
 HASKELL_BINARIES := $(UNIFIED_HASKELL_BINARIES) $(SEPARATE_HASKELL_BINARIES)
 JS_OF_OCAML_FILES := $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.js) $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.map)
-WASM_OF_OCAML_TEXT_FILES := $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.js) $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.wasm.map)
+WASM_OF_OCAML_TEXT_FILES := $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.js)
 WASM_OF_OCAML_BINARY_FILES := $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.wasm) $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.wat.gz)
 WASM_OF_OCAML_FILES := $(WASM_OF_OCAML_TEXT_FILES) $(WASM_OF_OCAML_BINARY_FILES)