Revert "[minor] Makefile.menhir bugfix for non-subsecond make systems"
Revert "[minor] Makefile.menhir bugfix for non-subsecond make systems"

This reverts commit ae03c67cbac8f2c7ee79b16427f8f336225d9383.

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml