Useless to print to stderr, opam just skip messages from install script…