diff --git a/.gitignore b/.gitignore
index 3f7a5af6..447b185d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,6 +10,9 @@
 *.log
 .DS_Store
 
+/_build/
+/.vscode/
+
 /Makefile
 /config.log
 /config.status
diff --git a/dune-project b/dune-project
new file mode 100644
index 00000000..3c48133a
--- /dev/null
+++ b/dune-project
@@ -0,0 +1 @@
+(lang dune 3.7)
diff --git a/src/backend/fpfile.ml b/src/backend/fpfile.ml
index e20806f6..96edfa95 100644
--- a/src/backend/fpfile.ml
+++ b/src/backend/fpfile.ml
@@ -531,7 +531,7 @@ let iter_file f ic =
 
 let translate v ic =
   match v with
-  | FP13 fps -> fptbl := fps; iter_file add_v13l ic;
+  | FP13 fps -> fptbl := fps; iter_file (fun x -> add_v13l x []) ic;
   | _ -> assert false
 
 
diff --git a/src/dune b/src/dune
new file mode 100644
index 00000000..1aeb6f3c
--- /dev/null
+++ b/src/dune
@@ -0,0 +1,13 @@
+(executable
+  (name tlapm)
+  (libraries unix str)
+  (foreign_stubs (language c) (names sysconf_stubs)))
+
+(ocamllex alexer)
+
+(include_subdirs unqualified)
+
+(env
+  (dev
+    (flags (:standard -w +a-4-7-9-27-29-30-32..42-44-45-48-50-52-60-66..70))))
+