Another error with make -C ulib/ml

[Daniel-Cumming]

Hello, I posted last week with a similiar issue, it seems that batteries is conflicting with F* definitions. I can see in the documentation that you should omit certain libraries when running --codegen OCaml, but this is before that stage. Any idea what is wrong with my setup to be encountering this issue? Thank you

$ make -C ulib/ml
...
findlib: [WARNING] Interface main.cmi occurs in several directories: /home/zncv/Applications/fstar/bin/fstar-compiler-lib, /home/zncv/.opam/4.12.0/lib/ocaml/compiler-libs
findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /home/zncv/.opam/4.12.0/lib/ocaml/compiler-libs, /home/zncv/.opam/4.12.0/lib/ocaml
File "ulib/tactics_ml/FStar_Reflection_Types.ml", line 1:
Error: The files /home/zncv/Applications/fstar/bin/fstar-compiler-lib/FStar_Syntax_Syntax.cmi
       and /home/zncv/.opam/4.12.0/lib/batteries/batHashtbl.cmi
       make inconsistent assumptions over interface BatHashtbl
Command exited with code 2.
Compilation unsuccessful after building 77 targets (0 cached) in 00:00:03.