However, 'make distclean' will remove them. You could
either restore them from the tarball or install menhir.
Using 'make clean' should be safe with regards to these files.
+
+Note: The test target is intended for developers. In particular,
+ you should not expect that every test will pass.