When `ldd` cannot find libgmp, it's because the user did not run `eval $(ocaml-env cygwin)`. Add a message.