[Gretl-devel] Trouble in configuring MPI in Linux (documentation bug ; )