avoid using the Nat file/module name when extracting to Ocaml
avoid using the Nat file/module name when extracting to Ocaml

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl