menhir --suggest-menhirLib returns nonexistent path
The function Installation.libdir takes a wild guess, which can be completely wrong. Maybe it should just be reimplemented and call ocamlfind query menhirLib.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information